$\forall$$r$:Rng, $a$, $b$:$\mid$$r$$\mid$. ($\uparrow$($a$ =$_{b}$ $b$)) $\Leftarrow\!\Rightarrow$ ($a$ = $b$)